perm filename EURM10.OLD[360,GF] blob
sn#860921 filedate 1988-09-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔π∩p_L'#⊂→
ε}x⊃Xmv 4[Lw_1ZVh2H
F(,λ
Vλ:~∧εH:_-FH1H∞7(1≤lW wCfx7≥fλ1Y,'H:→>0u∧ ?@⊃(FλG"q0∧α0λ(βI`0αA)P(∧↓ P_¬@i@ ¬@i0 εi0 εi0_ε@i ε@i ε@i ε@i ε@i ε@i ε@i ε@i (εi0 εi0(¬↓ 08β↓IA_↓@)PX↓B p0β↓K@_"Q!H
λ$⊂(α∩A∀pαS`Dxα∪`Dxα∪`Dxα∪`Dxα∪`@(βS`@_¬∪`@λεS`p0β∪`PHβ∪`@XαS`@XαS`@`α∪`@`α∪`@`α∪`@`α∪`@`α∪`@`↓S`@`↓S`@`↓S`@X↓S`@X↓S`@X↓∪`PH↓∪``8↓∀` ↓T↓5⊂β⊃(F_ EC↓8∧AJX'↓@(&A`(&@a &a⊂ %A↓⊂_%@a0λ%@i %↓ %↓ %↓ %↓ (%A↓Pλ%A!0⊂%AA⊂⊂&↓@`_&C)`P'AhT 2ε#R⊂⊂C`U(∧V UPα⊗`5X↓V`5X↓V`5X↓V`5_β@ 5π∪`@0αS@@@α∪ @P↓S@X↓S0`↓R`@`↓R`@`↓R`0h↓R@@h↓R@@h↓R@@h↓R@@h↓R@@h↓R@@h↓R@@h↓R@P`↓R`@`↓R`PHαR`p(∧`∀`ε@A∧h¬↓dxβ↓`4("→"18Ea8(αi` α↓IP βA @ ∧↓)@_¬↓ 0 ¬↓ 0_¬A ∧A βA α↓ ↓↓ @%↓) %↓ %A 0(¬@I0(¬I@0αA @p&Bip8"Qa⊂
λD hα∃ u βT` _↓T@ (T@%λ↓∀ %λ↓∀5↓T5↓RB∧Pλ∀5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓Q(F8 Ed↓0∧↓@0⊂'CI`(α↓IP βA)@ ∧A @_¬↓ 0 ¬↓ 0 ¬↓ 0_εi εi εi εi εi εi εi εi εi (¬@i0 ¬↓ 0(∧↓)@(α@`⊂_&α`0_&BP_'Ap_-K⊂_,@iPλ¬@I@⊂¬I@_∧I00αi@X&BλT 4πdα⊂⊂ADP∧∪dpα∪`4x↓S`4x↓S`4x↓S`4x↓A`dx↓A↓$x↓@ATx∧↓ TxαB Dxαα`4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C4x↓C00↓∪`0`α`4x↓C↓∀pαβ↓∧p↓C@exα⊃(FHλDD∩λαA `0'↓I`0'↓Ip #A@ &↓i0@%` % P_(j_(j_(j_(j_(j_(j_(j_(``⊂(↓0_(α*⊂8)↓λT 5αa2P⊂A@Dxβ∪`dxβ∪`eα⊃`P(α∪ d`∧∩@0_α∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5↓T5↓S`4x↓∪@$h↓∪$X↓⊃(FX
G∧∩λ↓A) @&A)` '@ip_'@ip_'@ip_'@a@⊂'@a0 '@a '@a⊂_'@a_'@``_'@`P_'@`@_'@`0⊂'@` ⊂'@`⊂_'B p_A)p_↓↓ p_↓A p_α↓ p_αA p_αA)p_β↓)p_βA @_'@aP'@a⊂@'@a 0'@A@_"Q
A λD⊂ αRA∀pαS`Dxα∪`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`@(↓∪`@_↓Sa∃βTeλα⊃(Fh⊗KC↓8αA P8β↓!0&α@@ααI0⊂↓A⊂`C) λβ↓`@@β↓*⊂ ∧↓!⊂ (@a _¬↓
⊂_¬a0_(@a _¬@j⊂_¬a0_(@a _¬@j⊂_¬a0_(@a _¬@j⊂_¬a0_(@a _¬@j⊂_¬a0_(@a _¬@j⊂_¬a0_(@a _¬@j⊂_¬a0_(@a _¬@`P_(@a _¬A0_(@a _¬B
⊂_¬A@86AλT 7λ∧⊃@ADhαBdX∧a4P↓@@@λεR@⊂(βA@UαB E↓B`E↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C00↓∀0`α`E↓C↓%↓C↓¬↓β@fλ↓Q(Fxε"q0∧α
`'↓`(&A↓(&↓↓ (%A↓@ %A↓@ %@a` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓!P_%A↓@ %A!0_&↓↓ &↓! &A@P 'β
@"Q∞↓PHα`(ααT`βA!∀X∧@a4P↓↓@⊂↓A UλβαEλαα`Eλ↓CEλ↓C 5λ↓C 5λ↓C 5λ↓C 5λ↓C 5λ↓C 5λ↓C 5λ↓C %λ↓C5λ↓C5λ↓C%λ↓B`%λ↓B`%λαα ∃λαA@%λ¬T 0λαT 5λ↓T 5λ↓T 5λ↓T 5λ↓T ∀("≤"QH⊃εα0⊂.j 8↓@jp'↓ P0&A! &@a0_&↓↓0_%A↓@_%A↓@_%@aP_%↓↓P_%↓↓P_%↓↓P_%↓↓P_%↓↓P_%↓↓P_%↓↓P_%↓!@_%A↓@_%A!⊂(%A`P8&β _&B`0_'A@`_-@k0_-@k0_-@k0_-@k0_-@k0λ"Q∞!
¬bp(α∪ `(α∪↓⊂βR` _α!∧P↓↓ P_αT @(↓T 00↓∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T $("≤b↓_E@p0'BI`_α↓ P_β↓ P⊂β@i@_∧)@_&i@ &A P0'α
@)↓j@0+↓ @λ∧A 0⊂¬i0⊂¬i ∧@I (β@i0(α@i@P'↓HT :∧B1h∞B∃↓T5↓T5↓T5↓T4Pλ∩B¬↓T5↓T5↓T5↓T5↓T5↓T5↓TEα↓`∃λα↓5λ¬∀!¬_α⊃(G(⊂λαq0αA↓P⊂&AA@_%B!0_%`0 ¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂ ∧A`⊂(A↓0αj⊂(α@`⊂P)α@0H)α P0)A! "Q∞a@Eb` ↓C@∀`βα`DP∧B@DP@`PPαS`@Xα∪`PPα∀@X↓T@X↓TPP↓∀ @P↓∀ @H↓∀ @H↓∀ P8↓∀@@8↓∀@@0↓∀@P ↓∀`@ ↓∀`@_↓∀`@⊂↓∀`u αUE ↓U ∀("≥dr0¬@P_π@!@⊂&AA@_¬@i0H¬↓↓ (%@@ ¬↓! (↓↓⊂0¬↓
⊂ ∧↓A0_(Ap⊂A↓0_(A`⊂↓↓! _(A`λα↓↓ ⊂)`P⊂α↓↓ ⊂)`PλαA↓⊂⊂)`@⊂β↓↓⊂)↓0λβAp⊂)↓ ⊂βApλ)↓ λ∧↓`⊂)↓⊂⊂∧A@⊂)↓A α* 0¬↓0λ)↓!@ @J0 ε↓J0_εA*0_πj0⊂π@HT <ε#⊃8↓@`S `P↓Ra⊂@α∩@ _αA`EαA Eλα↓ 5⊂α`5⊂α@5_βT`e α∃E(α∃e_↓ E⊂↓@U⊂↓`Eλ↓↓U↓A P(S`08α@`$x↓α↓∀p↓B tp↓α`U`↓Q(GHFβq0α↓↓p⊂&AA@ %B↓@ %@0 ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
_ε↓
¬↓* ∧AJ⊂ β`⊂ (C _(B@@_)A p_/↓` /kP (@A _(↓↓_'A@P (Bj @"Q∂!8¬B`(αB ∀p¬@ DpπS!t`↓A` λ↓∪ P↓∩` P↓U@5(↓U5 ↓∀`%⊂↓T 5↓T$x↓β@$p↓C $h↓C 4hε@ D` Rb4P↓A↓D("⊂$B(⊂H!@H,α0(-↓K 0,B⊂⊂A+_↓↓⊂↓A
p_↓A*p⊂αA
`_αA
`⊂β↓
P_βA
P⊂∧↓
@_∧↓
@⊂∧A*0_¬↓
1λ)∧J⊃ (@aP (↓↓P (a`('A↓p '@b '↓α(&Aα &Aα (&↓α0(&↓α00%AαPP%↓"PH%c("Qλ!P∞λ$⊂ ∩bDhαBdpαα@Tpαα`TpαβDpαβDpαβDpαβDpαβDpαα`Dpαα`4pαα@4pαα 4pα↓@Dpε∪B∧pααdpαα@dpαβTpαβTpαβ Tpαβ Tpαβ Tpαβ Tpαβ Tpαβ TpαβTpαβTpαα`Tpαα@Tpα↓`tpλS!t("⊂cRλ⊃HA`@*CJ (βAJ⊂ ¬A* εA)p πA)` λ@iP I@( @)@ %A)0(%A 0 %↓) (%↓) (%↓) (%↓) (%↓I 0%A)00%AI@0&↓IP0&Abλ'α↓@_'B p((∧J p*BλT "λdRλ⊂@αt`S@P`∧S@Aλβ∪@A⊂β∪@A_β∪@A αS@A β∪@A(αS@A(αS@A(β∪@A0αS@A0αS@A0αS@A0αS@A0αS@A0αS@A0αS@A0αS@A0αS@A(αS@A(αS@A(αS@A(αS@A αS@A αS@A_αS@A⊂αS@Aλβ∪@Aβ∪@@pβS@PH∧S"dh ⊃(D(Fd∩λ¬I!0&A)` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ aλ'∧ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓)`0π)a('EλT #¬"rλ⊂@αTP
S `8αS@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DpαB $pλ∪B∧pα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dp↓Q(D8∞H$2⊂πα*@x)↓ p8(A↓00'A!P('↓!p('↓α⊂ &Aα _&↓"0λ&↓ 0(%A)0 %↓) (%↓) (%↓) (%↓"P⊂%↓!⊂p%↓!p@%↓"0 %↓B %A" %A" %AB⊂ &↓"⊂ &↓B &AAp &Aa` 'α↓@ 'B!⊂((¬J!*B(T $λdRλ⊂@↓⊃λαSa⊂αS@A⊂αS@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪C$p
∪@Qλα∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂α∪@A⊂αS@A⊂∧∪@! ∧Q(DHεD$∩λβ)@P'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ `(&αI h"Q hλJ$⊂εS↓4xα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dx↓S`4x↓S@4p↓S 4h↓∪$X↓∩@$("∩cQx⊂H HεA)@8ε↓)` ε↓)` ¬A)` ¬A ` ¬↓ ` ∧A ` ∧↓ ` βA ` β↓ ` αA ` α↓ ` ↓A ` ↓↓ ` ↓i` @i`H'αI` AI` ↓↓I` ↓AI` α↓I` αAI` β↓I` βAI` ∧↓I` ∧AI` ¬↓I` ¬AI` ε↓I` εAI` π↓I` πAI`⊂ hT &εβ"λ⊂@↓D`∧S@Tpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DpαC@∀h
S"T("∪%c⊂⊃λ H
↓)@@↓)`0↓)p(AIp0↓I`8
Ai`⊂AαP⊂A `⊂A"0_A `⊂↓↓α0_A `⊂↓↓"⊂_↓↓ `⊂↓Aα⊂_↓↓ `⊂↓A!p_↓A P_α↓↓p⊂α↓ P_α↓↓`_α↓ P⊂β↓↓P⊂αA P⊂β↓↓@_αA P⊂β↓!0⊂β@iP⊂βA↓ _β@i@_βA!⊂⊂∧i@_∧↓↓_∧i@_∧↓ p⊂∧@i@_∧A`_∧@i@_∧A P⊂¬i@⊂¬↓ @_¬↓ 0_¬A 0⊂¬A 0_¬A _¬A 0_ε↓⊂_ε↓ 0_εα↓@ %@a@8εA εAAP %↓↓P(π↓ π↓↓`(%↓↓`_πBI ⊂λ@ApH7A(T 'λ$2⊂⊃↓∀P¬∧`D`∧D@DxβD DxβD Dx∧∧4x∧C`4x↓ `x↓S` ⊂ββ@4x↓``h↓S` _βC4x↓↓``↓S` (βα`4x↓↓@`X↓∪` 8αB`$x↓αPP↓∪` @βα $x↓α `@↓∪` Pβ↓`$x↓α`P8↓∪` `αA@$x↓β`(↓∪` hβ↓$x↓β@P ↓∪` xα@`$x↓∧P⊂↓∪`0xβ $x↓D↓∧x↓D tx↓D@dx↓D`Tx↓D`Tx↓EDx↓E 4xF$("∪d∩(⊃HAPP*βj ∧↓j⊂_ε↓J_π↓Ip_λ↓I`_ ↓IP_
↓)@
↓I@_↓)@_↓)0 ↓I0 ↓I0 A) ↓) ↓) ↓) ↓) ↓) ↓) ↓) (A) (A (↓) (↓)0 ↓ 0(
A 0(
↓)@( A @( ↓ P(λ↓ `(π↓ p0¬A
8βA*⊃*α(T (ε#2λ⊂@α4`
∪@P8βS@@Pβ∪@@XαS@@Xβ∪@@`αS@@`αS@@`αS@@`αS@@`αS@@`αS@@XαS@@XαS@@PαS@@Hβ∪@@@β∪@@(βSAdp¬S@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dp↓Q(Eλ⊂I%B⊂εBJ@x)↓ p8(A↓00(a`0'@b0'↓α⊂0&Aα0(&Aα00&↓αP(&↓αP(%A"P0%Aα`0%Aαp(%↓"p(%↓"p(%↓"p(%↓"p(%↓"p(%↓"p(%↓"p(%↓"p(%↓"p %↓BP(%↓BP(%A"P %AB@ %AB0(&↓B⊂(&↓B⊂ &AAp '↓AP 'Aa⊂((α@0(CJ@H,↓K⊂0-↓+0(.↓+P(/↓@P⊂/Bl⊂0"Q
!P∞λ$⊂ Sα4pαA@tpαBdpαα@dpαα`Tpαα`Tpαα`Tpαα`Tpαα`Tpαα`Dpαα@Tpαα Tpαα Dpα↓`Tpα↓ dpεSA∀pα Tpα@Tpα`Tpα↓Tpα↓ Tpα↓@Tpα↓@dpα↓`TpααTpαα Tpαα@Tpαα`Tpαα`dpαB`dpαCTp↓Q(E_ε∧2⊂∧B
h'AP0'↓↓(&A↓ &@a0 &↓↓0_&↓↓@λ&↓ @ &↓)@(&A)P8'↓i`H(α*⊂P)BJ`@+B⊂0-↓K 0-A+0(-A)PλεA)@⊂εA 0_ε↓) (¬↓) 0∧↓)00β↓)@x&C p8"Q
AP∞λ$⊂
∩C%(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E αUD("∃$B(⊃λC`λ%αB _&Ab('A"('A"('Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'Aα⊂ 'A" (↓α (↓α (↓!p (↓A@0(A`pP(D P)β@@@*α↓("Q
b_∩λd"⊂RA⊃(αRA⊃(α∪ q_α∪@a_α∪`Q⊂α∪`Q⊂↓TQα∀Q↓TPxα∀ @x↓T Phα∀ Ph↓T@@`↓T@@`↓T@PP↓T`@P↓T`@P↓∀`P@↓T`P@↓∃@8↓UP0↓∃P(↓U @(↓∃ P ↓∃ P_↓U P_↓∃@Pλ↓U@Pλ↓∃A¬8βU`e8β⊗E@α⊗$("∃fC ⊂H @
B %αα ↓ @8λ↓"⊂ &AB(λA `(πAB '↓!p8π@ip πAa` 'A!P⊂A!`_'A!P⊂A!P (↓↓@⊂↓A↓P_(↓↓@⊂↓A↓@_(↓! ⊂α↓!0_(↓! ⊂α↓! _(A↓⊂_αA↓ _(A↓⊂⊂β↓↓⊂_(A↓_β↓↓⊂_(A p⊂βA p_)↓`_βA p_)↓`⊂∧A`_)↓`⊂∧A`_)↓ @⊂¬↓P_)A@⊂¬↓ @⊂)A0_¬↓ @⊂)A0⊂ε↓0⊂)A _ε↓0⊂)A ⊂⊂εA ⊂*↓aP(@J@8εB
@0πAJ@0πAJ@0πA*P λ↓*P λ↓
P⊂ @(T ,πCrλ⊂@!↓_↓∩a⊂xα∪ ppαS``hα∀P`α∀ PPα∀ PHα∀@P@↓T@`0↓T`P(↓UP_↓UP⊂α∃ Pλ↓U!¬0β∃`U8αU`e0βU 0λαU 0⊂α∃0_αT`0(αT@00αT @8αT@HαT0PαS`@XαS@@`β∪ @pβ∪@xβR`QβR`A⊂βR@!(β⊃(EH∞π$"λαα %α!` &↓a`_&AAP '↓A@_'↓A0_'AA⊂ 'AA⊂_(↓!_(↓@p_(A `_(A@P⊂)↓ @_)↓ @⊂)A ⊂)A ⊂_*↓j@8*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P *@(T -π#r⊂⊃↓ $x∪bdx↓C@Exα↔@Upα↔ E`αV`UXα⊗@UHαV E@α∃`U0αU@E(αUU_αT`E⊂αT UαTTxαS@TpαS T`αR`aβ∩cDP∞W↓4("_α↓λ⊃HA _)↓J⊂_↓j⊂⊂αJ_αJ⊂α@J⊂α@Ip_α@Ip_α@Ip⊂β)p⊂α@I`_α@I`_α@)`_αI`_α)`_↓@I`_↓@)`_↓I`_@I`_@)`('↓ `_'iP &↓)0⊂@i ⊂↓↓ ` '↓pλ'↓`⊂'APλ'A 0λ'B*8(AλT _¬"r_⊃α`%_αT@u¬∀ αS` (β∪@ 8β∪ 0@αS HαS0PαS XαR`0`α∩`0`αR` pα∩` pα∩@0pα∩@0x↓R@0x↓R@0x↓R@0x↓R@0x↓R@0x↓R@0x↓R@@p↓∩@@p↓∩@@p↓∩`0h↓R`@`↓∩`@`↓∩`PP↓∪P@↓SP@↓∪ ` ↓S!Dp¬∀d("!1⊃λA_'↓i0P%αip0(↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*_"Qε!0HD Hβ∀!$xεS@0(βS 08β∪ Pβ⊗eHαV UHαV UHα⊗ EHα⊗E@↓U`E8↓U@E0↓U 5(↓∃5_↓T@5λ↓T 5↓S`4p↓S 4`
∩bTP∩BT("bQ0⊃HA⊂0(BJ`'`P0&@A⊂(&@! (,A⊂ ,A⊂ ,@k ,jp_+J@⊂(A)pX*α
p0,↓K⊂(,AK (-↓+ (-↓+ -↓ @λε↓)0⊂ε↓ 0_¬↓ (∧↓ 00αA @`'AhT ~¬br⊂⊃∧ ∃@α∃`U8αU@e(βU λα∃ ⊂α∀` _α∀` _α∀@ α∀ (α∀ (α∀ 0α∪`00α∪` 8α∪@ @α∪ 0@α∪ Hα∪0Hα∪ Pα∩`0Pα∩@0Xα∩BtPVE@α⊗E@α⊗E@α⊗E@α⊗E@Q(C(
ED"λ↓D)Qλ&D Q&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@@08&@@⊂X&AP0&@A0,↓K⊂(,AK (-↓+ (-↓+ (-↓+ (-↓⊂(%@A@ %a0(%↓↓ %↓! %A P(&β p0"Qεa(Hd xβ∃a¬(¬∃E_↓T E↓T$x↓S@4h↓S 4`α∪4`↓R`DXα↓ dXαa$PαATPα 0(βR@`@β∩@@Xβ∩@@`αR@@`αR@@hα∩@@hα∩@P`α∩@P`α∩`@`↓R`@`↓R`PP↓S@P↓∪P@↓∪ ` ↓SA5βQ(C8F$∩λEI1(%E !(-@k0_-k ⊂,@k⊂⊂,k⊂+@J`_+JP⊂*@J@⊂*J0⊂)j ⊂(@j⊂⊂(j_'@ip_'↓ `_&A P &↓ @ "Qπ↓(HD HαT!$xεS@@ βS @8β∪ 0HαS@Pα∪@Pα∪@Pα∪PH↓SPH↓S P8↓S `(↓S@`_↓Sa%βT!¬⊂∧∀↓4pα↓th↓A`d`↓B@TXαα@dX↓CTPαβ DPαβ DPαβ DPαβ DPαβ 4PαB`DXαα`4XαB 4`β↓ Dhε∪a∧("∞"Q8⊃λA⊂0(BIpp'`P8&@a0&a (%A↓0(%@a@(%@aP %↓↓P %↓↓P %↓↓P %↓↓P_%↓!@_%↓!0_%A! _%AA_&∧ PX@I`8↓@k⊂+@Jp⊂+JP⊂*@J@⊂)@j _)j⊂_(↓
_'A ` "Q↓0H$⊂
RBT`αB`D`αβ 4`αβ@$`αβ@$`αβ`∀`αβ`∀`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪4("$∩⊂⊃λB0λ-@k -↓+⊂0,AK@,@⊂(+@`⊂(+@@0(+`0(*@`P(*@`P(*``(*A()@a()@A )a ()A0((@a@((@AP((a` (Ap('@ap('@B⊂('b⊂('B0(&@b0(&bP(&bP(%@b`0%@bp(%λ)"λ%b⊂X"Q"_∩Hd p¬∃"¬_αα↓¬λαβ e↓Ddx↓D@dp↓Edhα¬ T`α¬@d`α¬`TXαE`TXαE`dXα↓⊂pA TXα↓⊂pA TPαA⊂pA TPαA⊂pA TPαAα(αR@P λ↓ TPαAα(αR@P ↓β ⊂(αR@P C@⊂(αR@P C@⊂(α∩@P C@⊂(α∩@a8αR`Q8αR`Q8α∩`a0α∪Q(α∪a α∪ a⊂α∪ aλα∪@phαS`pPβ∀"5_π∃`T("dR0⊃λBPλ.↓@ -A+00-↓k 8,@`⊂ ,@@ (,` (,@@ +@`@(+`P(+`` *@`p(*@`p(*a⊂ *a⊂()@a ()@a0 )a@()a@((@a` (↓↓`((ap('Aα('@b⊂('↓α⊂('b0(&Aα0(&↓αP(&↓αP(%Aα`P%Aαp8%↓β "QAX∞λ$⊂λRC$P
∩@1 ↓R@!0↓R@!0↓R@⊃@↓∩@⊃@↓⊃``0πT↓txπQa⊂R@⊃HR@!8↓∩@!8↓∩C4P
∩C$XQ(@(⊂HD"λλ)1p&A" '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α '↓α('b⊂(1(T βεcRλ⊃↓"Tp∪αthαS dpαS`Txβ∀UλαT U⊂αT`U_αUU(α∃ 5(↓U % ↓∀`5_↓∀@%λ↓T5↓∪`4p↓S 4`α∪β∀X
∩C4P
Q(@8⊂HD"⊂α↓"(&α!@@&αA P%C↓X%@@@0βA@@_%@p(β↓ `⊂%!⊂ αA!λ%!⊂ αA↓⊂λ*A@_*A0 +`0_+`0_+@`⊂_+@`⊂_+@`⊂⊂+@`⊂⊂+AK(,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,hT ∧λDRλ⊂BaU@∧⊗ EHα∃↓eλβAUα↓ @(β∪@P0α↓`ThαA`@@αSP@αα T`αα @HαR`PHαα TXαB @PαR@PPαα@TPαB@@PαR@PPαα@TPαB@@PαR@PPαα@TPαB@@PαR@PPαα@TPβα @Pα∩`PHαα TXαB @HαR``@αα D`αB@@α∪ P8α↓`TpαA@@0α∪`` α↓Uλ ∃!5Hα⊗ U0¬U!T("α$B⊂⊂H @ ¬A↓0⊂%α!⊂(∧↓ p ∧A↓⊂ 'A↓⊂ ∧↓
_∧A↓ (a⊂ ∧↓
_∧A↓ (a⊂ ∧j_∧A↓_(a⊂ ∧j_∧A↓_(↓↓ βA
∧↓p_(@a β@j⊂_∧↓p_(Ap β↓
⊂ βA`_)↓` αA
(αA@ )A @ ↓A
Qλ,α@ .↓@ .↓@ .↓@ .↓@ -AK H+C(T ¬
¬∩λ⊂D↓%8λU `8βT`P`βT@Pxβ∀ QλαTQ⊂β∀A β∪`Q(αS`A0αS@Q0αS@Q8αS@Q8αS Q@αS Q@αS Q@αS Q@αS Q@αS Q@αS Q@αS Q@α∪ Q@α∪@A8αS@Q0α∪@Q0α∪`A(α∪`Q α∀Q⊂α∀ Aλα∀@@xα∀`PXα∩` @αA`DPλA"$PλA"$("αcRλEA⊂(∧@JHβA pXβi`_α↓@@_&@@p(αi@_∧↓ _&A @i0_¬↓⊂_%@A08%@A@(%a@(%a@ %a@ %a@(%a00%a _@i ∧` %↓p_↓A (αA@ β)0(↓AP α@I0Xβ↓ 0⊂&α!8&↓a 0&A!@_"Q↓A0∞∧ @β∀↓$x↓↓ Tp↓↓`Dh↓α D`↓α`4`↓α`4`↓α`4X↓B`4X↓β4X↓β$P↓B`4P↓B`$P↓B@$P↓B $P↓A`$P↓@a$P↓@aDP↓B`TP↓CTP↓C TP↓C@DP↓C@TP↓C`DP↓C`DP↓C`DP↓C`DP↓C`DP↓C`4P↓C@DP↓A⊂Hα∩@0_↓αDP↓@`00α∩@0⊂αADP↓@a$P↓AtP↓R@4P↓R@4P↓R@4P↓R@4PQ(@h∞εd↓0α↓Ap⊂&α!`_%Ba@ %@@P(¬@i ⊂βA!⊂ *↓↓⊂_*↓↓_*Ap_*A`_+``⊂+`P_+`P⊂+↓0_+@`0⊂+@` ⊂+@` ⊂+@`⊂⊂+@`⊂λ,↓_,k⊂,K⊂+@jp_+@jp_+↓
` +↓
` +@HT π∧bb⊂⊂B↓¬¬∪`∀pS $h↓S DhαS@TxαTUλαT e∧∪`0⊂αS` αS@ 0αS @αS ⊂Pα∪ PαS Xα∩` h↓R` h↓R@0h↓R@0h↓R@0h↓R@0h↓∩@@X↓R@@X↓∩@PH↓R`P8↓R`` α∪↓Dh¬∪@d("βbA@EA⊂8(Bip_β↓)`_∧↓ P_¬I@_&i0_%@i0_%βi x%↓) %↓ %↓)0 %A!Pλ%AA _&↓@p &CI`X(↓hT λ¬βα@⊂A@$xβ∀A58↓U@5(↓∃%_↓∀@%λ↓∀$x↓∪`$p↓∪@$h↓∪4`↓∩`4X↓R`$P↓R@4P↓R@4P↓R@4Pα∩@DXα∩`T`αSα∀pλ⊗@EX↓V`%X↓⊗@%PV@∀("∧#!@⊂¬@P ∧↓IP8ααI@@↓β _↓A⊂ αA*⊂(∧A
⊂ ¬↓
⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εj⊂_εl_0l_0l_0l 0↓_0(T ¬#α⊂⊂B eλ¬∀ (αS`⊂@αS@⊂Pα∪ PαS `α∪ `α∪⊂hα∩` hαR` pα∩` pα∩@0pα∩@0pα∩@0pα∩@0pα∩BTP
R@0pα∩@0pα∩@0pα∩@0pα∩@0p↓R@@h↓R@@h↓R`0h↓R`0`↓R`@X↓R`@X↓∪@H↓∪P8↓S p⊂α∪A$x∧∀@∀("∧a!¬@ %i _%i _%i _%i _%i _%i _%i _%i _%i α@) αI H%Ai@ "QαA_EB`⊂C4P↓B@dP↓B TP↓A`TP↓A@DP↓A DP↓A4P↓@`4P↓@@$P↓@ $Pβ∩A∧P↓@ TP↓@@TP↓@`TP↓ATP↓A dP↓A@dP↓A`dP↓B dP↓B@dP↓B`TP↓β $("¬#↓H⊂H @0%BI0λα↓J⊂0)↓*0 )A*0(*↓
@(*A
P *A
P(*↓J0_@j0⊂↓↓
_↓↓
⊂α↓
⊂_α↓
⊂⊂αA
_β↓
⊂βA p_∧↓ p⊂∧A `_∧A)`⊂¬A P_¬A)@_ε↓)@_εA 0 εA)0_πA πA) _λ↓λT εCqx@ pR@@`↓R@@`↓R@@`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`0`↓R`@Pα∩`@Hβ↓ ∀XαA@0λα`4Xεa∧X¬↓@dX↓@@@α∩`$X↓∩`$X↓∩`$X↓∩`4X↓R`4("¬cQX¬@`0εA `Hε↓ @`¬A 0 α↓A _%@@p(∧A ⊂∧A↓⊂_*A!_+↓p_+A`_+A`⊂+AP_,`P⊂,↓@⊂,↓0⊂,@`0⊂,@` ⊂,A⊂⊂,AK (-↓+ -↓ ⊂"Qβ↓@
Id⊂(↓∪@eλ¬U 5_↓T@%λ↓∀5↓∪`4x↓S`4x↓S`Eα∀ e β∀@E↓S@4h↓S4Xα∩`4Pα∩@DPα∩@DPαR@TXβ∩bd`∪BEpα↔`%x↓↔`∃p↓↔ $("ε#axEc@⊂&FIAP%F)0_βA⊂%@@p⊂β@i ⊂∧!_%@p⊂∧i λ∧A_%!⊂∧j ⊂∧@j ⊂∧@j ⊂∧@j⊂_∧@j⊂⊂¬j_¬j_¬j⊂¬@ip_¬A p_¬A `_ε↓ 0λ&A↓P@&A↓P8'Ap "Qβ! Hαp8βSa4pα↓Th↓BD`↓B@D`↓α`DX↓B`DX↓CDX↓β DX↓β DP↓C DP↓C DP↓C DP↓C DP↓C DP↓C 4P↓CDPαα`DPαα`4Pαα@4PαBDP↓@ 0 αR@0_∧∩@0 β∩@4P↓R@4P↓R@DPα∩@DPα∩`4("εc!p¬b08(Diq '`P_∧IP_∧i@_∧A 0 ¬↓ 0_¬A 0_εi ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ (¬A (¬@i0 ¬↓ 0(∧@i@(βA @0α↓)Ph'αJ0"QβA@Ebq0↓∪"T`
SαDX↓A`4X↓α4XB 4P↓α 4P↓α 4PB@5(↓U 5(↓U 5(↓U 5(↓U 5(α∃ E(α@`∃0∧∃@e8α⊃(Ah
ε#↓8αA P8¬@I@@¬↓ _↓A↓ (%@ P_¬↓*⊂_¬A
⊂_ε↓
⊂_ε↓
⊂_ε@j⊂_ε@j⊂_ε@j⊂_ε@j⊂_ε@j⊂_ε@J⊂_ε@J⊂_ε@J⊂_εJ⊂_εJ⊂_¬@J⊂ ∧@J⊂ ∧J⊂0αj X)B*@("Qβah⊂
d⊂p↓∃`58↓U`58↓U`58↓U`58↓U`58α∀Auα`0 αS@@(↓A@Dh↓A`08α∪@8↓BD`↓B0@α∩`@@↓B DX↓B 0Hα∩`0H↓B DPαα 0Hα∩@@H↓B DPαα 0Hα∩@@H↓B DPαα 0Hα∩@@H↓BDPαB0@α∩@P@↓BDXαA`08α∩`P8↓A@D`αA@0(α∪ ` ↓@`TxβA∃λεU`58↓U`58↓U`58↓U`58↓U`%8Q(Ax∞π∧↓0α↓αλ&↓a`_%B↓P %@0(ε↓
¬A
(∧A
⊂ ∧↓
⊂(β@j βj (αj0 αj0 ↓@j@ @j@8*A*P +↓
P(*AJ@⊂A
0_↓↓
_↓A
⊂α↓*⊂_αA
_β↓*_βA p_∧↓)`_¬↓ P ¬↓)P_ε↓)@ εαI@_π↓i`λπAλT ⊂λD∩P⊂E%h↓W 5h↓W 5h↓W 5h↓W 5h↓S`@P↓S pH↓A`4`∧α 08↓R@0_αα 00αR`⊂(↓B 08α∀ 0H↓A`Eλ↓B 0@α∀ 0H↓BEλ↓B 0H↓T 0H↓B 5λ↓B 0H↓T 0H↓B 5λ↓B 0H↓T 0H↓B %λ↓B 0H↓∀ 0H↓B5λαα0@↓∀ @@↓A`5λαα08↓∀@@8↓A 5⊂αA@0 ↓T`` ↓@`5 λ∃a%h↓W 5h↓W 5h↓W 5h↓W 5h↓⊃(Bλ⊃Ibq0β@A⊂λ¬@Ip_∧a 'a⊂_¬↓)P_¬a (&↓↓ _¬A)@_¬@a@ %A↓0_ε↓ 0_εaP_%@a@_ε@i0_εaP_%↓↓@_ε@i εaP_%↓↓@_ε@I εaP⊂%↓↓@_ε@I ε↓↓0⊂%↓! (¬@I (¬↓! ⊂%A!⊂A↓⊂%A!λ↓↓ P_&↓@@⊂ααi@XαBIPH∧↓Ip("Q∧!λ
Eb`8β∪a$p↓↓ Dh↓↓`$hB ∀`↓∪$`↓∪4h∧∪ tpS ∀X↓∩`$P↓R@4Pα∩@@`R@PH↓R`P0α∩aT`¬S@d("λc1P⊃HA@(*α
0⊂α↓
⊂β↓
λ∧↓
⊂⊂∧@j⊂⊂∧A
⊂⊂¬j⊂⊂¬j⊂_∧A
⊂_¬j _∧@j _∧@j0_∧j@_β@jP α@i` α↓ 0_&↓`Ph%B↓8%@0 εj_¬@j_¬@j_¬@j_¬@j_¬@j_¬@j_¬@J_¬j_¬J_¬J_∧@J_∧@J β@J⊂ αj⊂H)A(T ∩λdqX
αAe∪C$hαCA$`↓E tX↓FdP↓ε`TPG DxF Dp↓ε Dh↓ε`4`↓C0`↓R`0`αβ4X↓C@`↓R@@`αβ4Pαβ@`↓∩@@`αβ$Pαβ@`↓∩@@`αβ∀Pαβ@X↓∩@PPαB`∀PαB@`H↓∩`P@βB$XαB λβ↓ $`β↓0_¬S↓@(∧∪!⊂@αS`T(" cb⊂⊂¬@p_∧AIp ∧αI`_∧`P(&@a_βA)@_∧@A⊂ &a_∧A 0_∧@A0 %@a_¬A ∧a0 %↓↓_¬A ∧a0 %↓↓_¬A ∧a0 %↓↓_¬A (β@a %Ap_¬↓ 0 β@a _%A `_∧A @(α@a &A @_βA `(↓@`` 'A _↓A*x)B*`_+j`_+j`_+j`_+j`_"Qλ↓_HD (β∪A∀`ε∪ (β∩` @αR`⊂Pα∩@⊂`α∩@⊂h↓VE@α⊗ 5H↓T pλα∪adpαA Thαα 4`αα@4`↓B`4Xαα`4Xαα`4Pαβ4Pαβ4Pαβ4Pαβ4Pαβ4Pαβ$Pαα`4Pαα`4X↓B`4Xαα@$Xαα $`α↓`4hα↓ 4p¬∀d("∨#⊃`⊂¬@`λ∧AIpλ∧α)`⊂βBiP⊂β@`@(&@@`⊂βA)@_α@A⊂ &`@⊂¬↓ @_↓@A@_&↓ λε@i@ @AP_&↓A`_&A↓p_&A!`_'↓↓`⊂'↓!P⊂'↓!@_&@ ¬@IPλ↓↓↓ _& @ ↓ `⊂& P8↓@i0⊂αC 0λβBI0λβ@`⊂ %@p_%A⊂%A⊂%A⊂%A⊂%`pλ%@@`⊂%@`@⊂&↓iP "Qπ 0¬A @λα∩@dPβ∩@dPβ∩`D("∞``XεA⊂_%↓ (%↓)0(&↓ P_&@iP_&@I@⊂&I0⊂%@(T ≡λ∧!XG 6(α_@VαW@E`α⊗@E@α∃ U_αT Txα∪ DPαSTpαT E_αU U8αV UXαW Vα_@V αY@F@Q(Ch
EeB_ @KP⊂.K@⊂-@K0⊂-k ⊂-K⊂⊂,@K⊂,Jp_+@Jp⊂+J`⊂*@JP⊂*j@⊂*J0⊂)@J ⊂)J⊂⊂(@J_(J⊂'@Ip⊂'I`⊂&@iP⊂&@I@⊂&I0⊂%@I _%HT ∨πd1`
∀P↓R`Dhα∪`EλαT`U(αVEPα↔UpαXV⊂αY F_α_UpαWUPαVU0α∃EλαS`ThαR`TPα∩@∀("≡b!λE@P &Ai0H%`0 (@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@``⊂(A0_(B*⊂@)↓J0 "Q∂@P¬πb`(α∪ d`∧∩@0_α∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5↓T5↓S`4x↓∪@$h↓∪$X↓⊃?⊗`Pα⊂⎇p'⊂α>fpα>f␈x␈␈␈`εOx␈␈}`∧?0ε`0m← ∞>`λ∩↓6HM@↓`D=@"0ββp@βPH{d`ε∃'Pπ7O0απ@HD←@∂⊂>`(∩↓9)@↓pA=@bαK¬hβpx{↓d@¬]8`πk/0∧
@h*2∂u}`H⊃@↓4V@α>=A"`β@'0∧⊃8{αd⊂¬"! λ4O0ελ PLh@⊃ >`h∂↓≠`1α⊂i=AaHαA@∧4_{βc0∧3-`λvO0λε@@_\`⊃⎇}aλ∞↓∂0.@α (=B!`α≠`0∧LX{∧b⊂αVx *∂0
π@q≤`∩b>a(
@↓
X⊃@α(t=Baxα<∨p∧eX{¬c`∧eXP [∂0π@lf@∪M>aH∂↓≠pLα8F=C!Xα_I(∧␈H{εc`∧kc0
∞∂0∞ε@@≤L@∀4>ah∞@↓⊗ }@αH=Cb αtCh¬↔h{πcP∧N;
Eo0⊂ @`λp@∃+}bλ∃↓Yhe@αX3=D!@↓y¬X¬?H{λc0∧5%PπO0∩p↓d@⊗3}b8∪↓C0!@αh.=F↓H↓␈iβαx{#⊂β␈Rε↔∂0→ε 8␈$A>c_@␈pH↓H,=FAH↓␈iβ≠8{
#⊂β␈RεDo0≠ε 8␈$
!>c8@␈pH↓P⎇=G↓H↓␈iβ4({∞#⊂β␈RεxO0≥β@ 8N@↔F>cXπGλ≥αx⊗=GB0ββ_¬tx{∂#⊂∧↓m qo0∨ @``↔{}d∞↓∂8<αh|⎇H∩0β
B⊂↓. {⊂D⊂¬∨≠`αl∨0!IX7H`¬y≡d ∀@↓To`#⎇HQpα5`↓Lp{⊃C⊂β␈.Pβ#?0#I@`∨G εZ↑d@∪@↓H@⊂hq⎇I⊃ ↓Ir↓fp{∩B@β≠fPβW∨0%H PYD`πE≡d`∞↓∂λxxO⎇IS ∧⊗L_↓}`{∪E⊂εQL`∧≠␈0'J`l␈ λf≡e∂↓∪8Q↓⊂∪⎇J∩Hβ(1(α)⊂{∀C`∧oS∧f←0)G@u@ n↑e ∂}⊂c↓ ⊂⎇JR8β9pαF`{∃D@¬∃\ ¬∨←0+Mxd `
a≡e@⊂@↓*@↓@↓07⎇K⊃pα≤≥(αo⊂{⊗D⊂¬*G ¬k␈00∧`0≠2@l≡fλ∂↓≠pL1=L!hα-((({_cβrR '/02π@HTd`a}f(@␈pH⊂α=La(↓Wβ@%({→c@∧F80To04π`Hy%@↓I}fH \⊂Q_S=M!λ↓)y(?_{~c@∧9∃ ↓ /06∧@(l0@α1>fh↔↓j8%@(=MbλαT⊗[_{≠c@∧@t0↓D/08π H7<@β >gλ∂↓≠≠0}=N!0↓] w({≤bpβRk ↓wO0:¬ 0U<@∧↓}g(⊂↓$8b@@'=NaH↓⎇←@↓h{≥eε?O`α#O0<ε@@5>@∧n}gH∂↓_R@P
=O!8↓qβ⊂↓)H{≡b⊂αU ε∂0>∧ ('e _≠>gh∂↓~Xeαp<=Opα_|@β[ {⎇xow{⎇x